21![BRICS Basic Research in Computer Science BRICS DS-01-4 M. Rhiger: Higher-Order Program Generation BRICS Basic Research in Computer Science BRICS DS-01-4 M. Rhiger: Higher-Order Program Generation](https://www.pdfsearch.io/img/a99b3e7feff3c3b797573a0de83b8f3c.jpg) | Add to Reading ListSource URL: www.brics.dkLanguage: English - Date: 2002-01-08 09:02:48
|
---|
22![BRICS RS-05-7 P. D. Mosses: Modular Structural Operational Semantics BRICS Basic Research in Computer Science BRICS RS-05-7 P. D. Mosses: Modular Structural Operational Semantics BRICS Basic Research in Computer Science](https://www.pdfsearch.io/img/4dc291cb749507b46556ce66396b37c1.jpg) | Add to Reading ListSource URL: www.brics.dkLanguage: English - Date: 2005-03-21 06:07:46
|
---|
23![BRICS Basic Research in Computer Science BRICS NS-94-4 P. D. Mosses (ed.): 6th Nordic Workshop on Programming Theory BRICS Basic Research in Computer Science BRICS NS-94-4 P. D. Mosses (ed.): 6th Nordic Workshop on Programming Theory](https://www.pdfsearch.io/img/ff08ef685dca68251f16a66efebbcf30.jpg) | Add to Reading ListSource URL: www.brics.dkLanguage: English - Date: 2003-12-10 05:30:33
|
---|
24![BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations in the CPS Hierarchy BRICS Basic Research in Computer Science BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations in the CPS Hierarchy BRICS Basic Research in Computer Science](https://www.pdfsearch.io/img/4ec741eaf59c48b16f13e0c8c0d3ff15.jpg) | Add to Reading ListSource URL: www.brics.dkLanguage: English - Date: 2005-03-22 05:30:06
|
---|
25 ;" title="Files and Directories chdir ("/etc") change to directory /etc @a = ;" class="img-responsive img-polaroid"> | Add to Reading ListSource URL: web.archive.orgLanguage: English |
---|
26![BRICS Basic Research in Computer Science BRICS DS-02-4 A. Møller: Program Verification with M2L & Languages for Web Service Development BRICS Basic Research in Computer Science BRICS DS-02-4 A. Møller: Program Verification with M2L & Languages for Web Service Development](https://www.pdfsearch.io/img/fdadf61ccdb6eb4b849a9f026d8cc209.jpg) | Add to Reading ListSource URL: www.brics.dkLanguage: English - Date: 2004-04-26 06:24:23
|
---|
27![BRICS DS-04-1 B. Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics BRICS Basic Research in Computer Science BRICS DS-04-1 B. Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics BRICS Basic Research in Computer Science](https://www.pdfsearch.io/img/ecf313cc05227aeb44fa889ee45c1f4b.jpg) | Add to Reading ListSource URL: www.brics.dkLanguage: English - Date: 2004-08-23 08:48:12
|
---|
28![BRICS RS-05-4 Filinski & Rohde: Denotational Aspects of Untyped Normalization by Evaluation BRICS Basic Research in Computer Science BRICS RS-05-4 Filinski & Rohde: Denotational Aspects of Untyped Normalization by Evaluation BRICS Basic Research in Computer Science](https://www.pdfsearch.io/img/11dd3736819c22ffb950be662f72a17a.jpg) | Add to Reading ListSource URL: www.brics.dkLanguage: English - Date: 2005-04-13 07:44:53
|
---|
29![BRICS RS-05-8 P. D. Mosses: Exploiting Labels in Structural Operational Semantics BRICS Basic Research in Computer Science BRICS RS-05-8 P. D. Mosses: Exploiting Labels in Structural Operational Semantics BRICS Basic Research in Computer Science](https://www.pdfsearch.io/img/42a76b025a8bf8e254b89108c5b35aab.jpg) | Add to Reading ListSource URL: www.brics.dkLanguage: English - Date: 2005-03-21 06:24:57
|
---|
30![BRICS Basic Research in Computer Science BRICS DS-99-1 G. L. Cattani: Presheaf Models for Concurrency BRICS Basic Research in Computer Science BRICS DS-99-1 G. L. Cattani: Presheaf Models for Concurrency](https://www.pdfsearch.io/img/98dc0acefb9ac1a3f3253f19eae0ba65.jpg) | Add to Reading ListSource URL: www.brics.dkLanguage: English - Date: 2001-09-10 12:36:02
|
---|